Dependent Choices and Weak Compactness

نویسندگان

  • Christian Delhommé
  • Marianne Morillon
چکیده

We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact, and in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF, and the latter statement does not imply DC. Furthermore, DC does not imply that the closed unit ball of a reflexive space is weakly compact. Mathematics Subject Classification : primary 03E25, 04A25 ; secondary 46, 54.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Countable Choice and Compactness

We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p ≥ 1 (resp. p = 0), and some closed subse...

متن کامل

James sequences and Dependent Choices

We prove James’s sequential characterization of (compact) reflexivity in set-theory ZF+DC, where DC is the axiom of Dependent Choices. In turn, James’s criterion implies that every infinite set is Dedekind-infinite, whence it is not provable in ZF. Our proof in ZF+DC of James’ criterion leads us to various notions of reflexivity which are equivalent in ZFC but are not equivalent in ZF. We also ...

متن کامل

Bilateral composition operators on vector-valued Hardy spaces

Let $T$ be a bounded operator on the Banach space $X$ and $ph$ be an analytic self-map of the unit disk $Bbb{D}$‎. ‎We investigate some operator theoretic properties of‎ ‎bilateral composition operator $C_{ph‎, ‎T}‎: ‎f ri T circ f circ ph$ on the vector-valued Hardy space $H^p(X)$ for $1 leq p leq‎ ‎+infty$.‎ ‎Compactness and weak compactness of $C_{ph‎, ‎T}$ on $H^p(X)$‎ ‎are characterized an...

متن کامل

SOME RESULTS ON INTUITIONISTIC FUZZY SPACES

In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Notre Dame Journal of Formal Logic

دوره 40  شماره 

صفحات  -

تاریخ انتشار 1999